Temporal Justification Logic
نویسندگان
چکیده
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.
منابع مشابه
Some Notes on Temporal Justification Logic
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logic. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch...
متن کاملFormal justification in requirements engineering
One of the many difficult tasks in requirements engineering for software-based systems is validation. The aspect of validation dealt with in this thesis is the justification that a proposed system, once implemented, will lead to the system in its environment displaying required behaviour. The work reported in this thesis is motivated by two problems with attempts at justification: • the need to...
متن کاملTowards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Temporal logics are an obvious high-level descriptive companion formalism to dynamical systems which model behavior as deterministic evolution of state over time. A wide variety of distinct temporal logics applicable to dynamical systems exists, and each candidate has its own pragmatic justification. Here, a systematic approach to the construction of temporal logics for dynamical systems is pro...
متن کاملJustification Logic
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to ...
متن کاملWhy Do We Need Justification Logic?
In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn’ scenario in modal epistemic logic and Justification Logic and show here that the latter provid...
متن کامل